University of Science and Technology of China - PDFSEARCH.IO - Document Search Engine

University of Science and Technology of China
Results: 350

#	Item
61	Modular Verification of Concurrent Thread Management Yu Guo1 , Xinyu Feng1 , Zhong Shao2 , and Peizhi Shi1 1 University of Science and Technology of China Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2012-10-04 18:50:54 Computing Computer programming Concurrent computing Parallel computing Software engineering Screws Thread Scheduling ISO metric screw thread Context switch Monitor Thread block
62	Topology-aware Content-centric Networking Xinggong Zhang, Tong Niu, Feng Lao, Zongming Guo Institute of Computer Science and Technology, Peking University Beijing, China Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2013-07-12 14:35:14
63	Brave Induction Revisited Jianmin Ji School of Computer Science and Technology University of Science and Technology of China Hefei, China Add to Reading List Source URL: www.ilp2015.jp Language: English - Date: 2015-08-05 01:44:53
64	Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2013-07-18 23:10:16 Concurrency control Linearizability Non-blocking algorithm Monitor Lock Deadlock Synchronization Thread Liveness
65	Visiting scientists in 2012: Mr. Qing-feng Sun University of Science and Technology of China Prof. Hsiang-nan Li Institute of Physics, Academia Sinica Sona Pochybova Wigner Research Centre for Phys Add to Reading List Source URL: tpcsf.ihep.ac.cn Language: English - Date: 2013-04-28 02:09:04
66	Automatic Patch Generation Learned from Human-Written Patches Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim The Hong Kong University of Science and Technology, China {darkrsw,jcnam,jsongab,hunkim}@cse.ust.hk Ab Add to Reading List Source URL: www.darkrsw.net Language: English - Date: 2016-01-07 15:30:42
67	Trace Formulae for Matrix Integro-Differential Operators Chuan-Fu Yang Department of Applied Mathematics, Nanjing University of Science and Technology, Nanjing, Jiangsu, People’s Republic of China Reprint reques Add to Reading List Source URL: www.znaturforsch.com Language: English - Date: 2012-04-02 05:24:24
68	UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA Simulation of Resistive Instabilities in the presence of Runaway Current Huishan Cai1, Guoyong Fu2 1University Add to Reading List Source URL: tsdw.pppl.gov Language: English - Date: 2014-07-24 11:40:54
69	On Space Information Flow: Single Multicast Jiaqing Huang, Xunrui Yin, Xiaoxi Zhang, Xu Du, Zongpeng Li Huazhong University of Science and Technology(HUST), P.R.China SIF Motivation Add to Reading List Source URL: www.networkcoding.org Language: English
70	Call for Papers for Selected Areas in Communications Symposium P2P Networking Track Symposium Co-Chair Hongwei Li, University of Electronic Science and Technology of China, China, Add to Reading List Source URL: globecom2015.ieee-globecom.org Language: English - Date: 2015-01-24 18:39:23

UPDATE